Consistency Checking for Extended Description Logics
نویسندگان
چکیده
In this paper we consider the extensions of description logics that were proposed to represent uncertain or vague knowledge, focusing on the fuzzy and possibilistic formalisms. We compare these two approaches and comment on their differences concentrating on the consistency issue of knowledge bases represented in these extended frameworks. We present a classification of existing algorithms and describe a new method for the possibilistic case that yields an inconsistency degree and not only a binary answer to the consistency question. The proposed algorithm is based on a direct extension of the tableau algorithm to the possibilistic case, for which we introduce appropriate clash and completion rule definitions.
منابع مشابه
Consistency Checking of an Ontology Concept Model Based on Description Logics
Ontology formal model and ontology checking recently are still under hot discussion. In this paper, an ontology concept model is constructed using Description Logics. Based on model, the issue on Consistency checking of the extended ontology model is studied with the conclusion that the four kinds of term checking, including term satisfiability checking, term subsumption checking, term equivale...
متن کاملLightweight Description Logics with Meta-modelling
In order to incorporate meta-modelling in Description Logic, we add equations between individuals and concepts. We naturally require that the individual and the concept are semantically equal and the interpretation domain should be a well-founded set. In this paper, we consider the Description Logics behind the three OWL 2 profiles extended with meta-modelling and study the problems of checking...
متن کاملKnowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic
This paper has its motivation in the occurrence of uncertain knowledge in different application areas, and introduces an expressive fuzzy description logic that extends classical description logics to manyvalued logics. We represent, and reason with, uncertain knowledge in the description logic ALCHIN extended by an interval-based, normparameterized Fuzzy Logic. First, the syntax and the semant...
متن کاملAdding Uniqueness Constraints to Description Logics (Preliminary Report)
After explaining some of the benefits of capturing uniqueness constraints, such as keys and functional dependencies, in any object-centered data model, we consider a number of alternative semantics for concept constructors that could be introduced for this purpose in Description Logics. Most significantly, we show that Classic—the hitherto most expressive DL for which reasoning is tractable, ca...
متن کاملDocument Verification with Temporal Description Logics
The subject of this thesis is checking the content consistency of web documents along reading paths. Web documents are typically not read linearly but by following different alternative paths through the content. Manually ensuring the consistency of content along the possible reading paths is difficult, time-consuming, and error-prone. Tool support is highly desirable. This thesis presents a ne...
متن کامل